Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
221	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
222	Editors Michael Cunliffe Oliver Wurl Guide to best practices to study Add to Reading List Source URL: solas-int.org Language: English - Date: 2014-09-22 05:09:02 Marine biology Sea surface microlayer Surface science Functional languages Procedural programming languages ML GEOMAR Helmholtz Centre for Ocean Research Kiel
223	Lazytest Better Living Through Protocols Stuart Sierra Clojure NYC April 15, 2010 Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2010-04-18 13:07:17 Control flow Functional languages Scripting languages Eval Assertion Clojure Exception handling
224	Architecture Manual CLIPS Version 5.1 January 6th 1992 CLIPS Architecture Manual Version 5.1 January 6th 1992 Add to Reading List Source URL: clipsrules.sourceforge.net Language: English - Date: 2008-03-08 23:11:38 Programming paradigms Functional languages Object-oriented programming languages Procedural programming languages Cross-platform software Common Lisp CLIPS Lisp Perl module Scripting language Object-oriented programming Modular programming
225	ML pattern match compilation and partial evaluation? Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Procedural programming languages Programming language comparisons Method Functional programming Term Pattern matching Constructor Standard ML ML JavaScript Map
226	Keeping the PilGRIM at a steady pace Avoiding pipeline stalls in a lazy functional processor Arjan Boeijink University of Twente Enschede Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-16 12:00:20 Central processing unit Stack Instruction set Heap Models of computation Stack machines Assembly languages
227	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
228	Behavioral Reactivity and Real Time Programming in XML Functional Programming meets SMIL Animation Patrick Schmitz Simon Thompson Add to Reading List Source URL: www.ludicrum.org Language: English - Date: 2004-10-26 03:04:07 Markup languages Functional languages Computer file formats Technical communication Synchronized Multimedia Integration Language Query languages XHTML+SMIL Declarative programming Programming language JavaScript XPath Domain-specific language
229	Microsoft Word - WPFG special Olbertz - echt definitieve versie.doc Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-24 06:56:28 Grammatical moods Pragmatics Quechuan languages Evidentiality Mirative Southern Quechua Illocutionary act Functional discourse grammar Present perfect Copula Ayacucho Quechua
230	What Are Macros Good For? Eugene Burmako ´ Ecole Polytechnique F´ ed´ Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Object-oriented programming languages Functional languages Macro Source code Scala Constant

UPDATE